Source code for bits used with the ARM second processor for the BBC Micro